Fix time reporting to guest.
authorkfraser@localhost.localdomain <kfraser@localhost.localdomain>
Tue, 27 Mar 2007 10:47:20 +0000 (11:47 +0100)
committerkfraser@localhost.localdomain <kfraser@localhost.localdomain>
Tue, 27 Mar 2007 10:47:20 +0000 (11:47 +0100)
commit8c832af369b2203df288f3a8da047b1a663b4de1
treef81d5b3016e83e77918f5516b55cab061d7e2277
parenta4ae757f0ffc2fd6b44555a753a598edcb0f71fa
Fix time reporting to guest.

The recent change to guest time handling dropped a call to
update_vcpu_system_time(), leading to time-went-backwards messages and
guest hangs (the latter were observed only in 2.6.21-rc4 and only when
no serial console was in use).

Debugging the issue also revealed that some commented out debug
printk-s in x86's time handling code didn't compile under x86-64.

Signed-off-by: Jan Beulich <jbeulich@novell.com>
Signed-off-by: Keir Fraser <keir@xensource.com>
xen/arch/x86/time.c
xen/common/domain.c
xen/common/schedule.c